Positive Announcements

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Positive Announcements

Arbitrary public announcement logic (APAL) reasons about how the knowledge of a set of agents changes after true public announcements and after arbitrary announcements of true epistemic formulas. We consider a variant of arbitrary public announcement logic called positive arbitrary public announcement logic (APAL), which restricts arbitrary public announcements to announcement of positive formu...

متن کامل

News/Announcements

The Massage Therapy Foundation presented the second Highlighting Massage Therapy in CIM Research conference, May 13 – 15, 2010. This three-day conference (supported in part by RI3AT005420 from the National Center for Complementary and Alternative Medicine) brought together massage and manual therapy practitioners, educators, CIM researchers, allied health professionals, and others interested in...

متن کامل

Research Announcements

1. Let M be a connected, orientable, triangulated 3-manifold and let A(Zw2(M) be a sub-group which is invariant under the operators in 7Ti(il/f). By a Ti(M)-class in 7r2(.M) we mean the set of elements ±£a, for some a£7r2( if) and every %ÇÎTI(M). The invariance under 7Ti(M) means that, if a £ A , then the entire 7Ti(Af)-class {+£#} is contained in À. A wi(M)-class is represented by a map 5—»M",...

متن کامل

Asynchronous Announcements

We propose a logic of asynchronous announcements, where truthful announcements are publicly sent but individually received by agents. Additional to epistemic modalities, the logic therefore contains two types of dynamic modalities, for sending messages and for receiving messages. The semantics defines truth relative to the current state of reception of messages for all agents. This means that k...

متن کامل

Research Announcements

It has been conjectured that a manifold which is a homotopy sphere is topologically a sphere. This conjecture has implications, for example, in the theory of differentiate structures on spheres (see, e.g., [3, p. 33]). Here I shall sketch a proof of the following theorem: Let M be a piecewise-linear manifold of dimension n^7, which has the same homotopy-type as the n-sphere S. Then there is a p...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Studia Logica

سال: 2020

ISSN: 0039-3215,1572-8730

DOI: 10.1007/s11225-020-09922-1